HighContrast: remove unused selector

There's no header-bar-separator style class.

diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss
index 5f86c3246860f02b1f7fb468398fb63daccfabb4..24ba6b4cc769b52d7a9bfc638d9303902e5d92d5 100644 (file)
--- a/gtk/theme/HighContrast/_common.scss
+++ b/gtk/theme/HighContrast/_common.scss
@@ -890,7 +890,6 @@ headerbar {
     font-size: 80%;
     padding: 0 12px;
   }
-  .header-bar-separator,
   & > GtkBox > separator.vertical {
     border-width: 0 1px;
     border-color: $fg_color;

diff --git a/gtk/theme/HighContrast/gtk.css b/gtk/theme/HighContrast/gtk.css
index 77ed4987da080600baaeb6fb2192466f606206ec..866d2934db36960b14a16d65bed788de43d41238 100644 (file)
--- a/gtk/theme/HighContrast/gtk.css
+++ b/gtk/theme/HighContrast/gtk.css
@@ -981,8 +981,7 @@ headerbar {
   headerbar .subtitle {
     font-size: 80%;
     padding: 0 12px; }
-  .titlebar .header-bar-separator, .titlebar > GtkBox > separator.vertical,
-  headerbar .header-bar-separator,
+  .titlebar > GtkBox > separator.vertical,
   headerbar > GtkBox > separator.vertical,
   placessidebar .view headerbar > GtkBox > separator.vertical:backdrop {
     border-width: 0 1px;